LOSet\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:POSet\{i\}$\mid$ Connex($\mid$$s$$\mid$;$x$,$y$.$x$ $\leq$$s$ $y$)\}